Verificação formal de sistemas modelados em estados finitos (2006)
Unidade: EPSubjects: AMBIENTES DE PROGRAMAÇÃO, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Nelson França Guimarães. Verificação formal de sistemas modelados em estados finitos. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/. Acesso em: 21 maio 2024.APA
Ferreira, N. F. G. (2006). Verificação formal de sistemas modelados em estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/NLM
Ferreira NFG. Verificação formal de sistemas modelados em estados finitos [Internet]. 2006 ;[citado 2024 maio 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/Vancouver
Ferreira NFG. Verificação formal de sistemas modelados em estados finitos [Internet]. 2006 ;[citado 2024 maio 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/